More from this Author

Sheaves in Geometry and Logic

by Saunders MacLane, Ieke Moerdijk

Sets, Models and Proofs

by Ieke Moerdijk, Jaap van Oosten

Algebraic Set Theory

by Andri Joyal, Izak Moerdijk, Ieke Moerdijk, J. W. S. Cassels (Contribution by), N. J. Hitchin (Contribution by)